The Sleep Set Method
نویسنده
چکیده
State space generation is a powerful formal method for analysis of concurrent and distributed nite state systems. It suuers from the state space explosion problem, however: the state space of a system can be far too large to be completely generated. The sleep set method is one way to try to avoid generating all of the state space when verifying a given property. This paper is concentrated on the transition selection function in the sleep set method applied to a labelled transition system to verify a simple safety property or the existence of enabled innnite transition sequences. The conditions found for the function can be used for combining the sleep set method with other analysis techniques.
منابع مشابه
Sleep Quality in the Survivors of Covid-19
Background: It has been reported that after being discharged from the hospital, some of people who have recovered from Covid-19 may suffer from some complications and problems. This study was conducted with the aim of determining the quality of sleep in the survivors of Covid-19 discharged from the hospital. Methods: This is a descriptive-cross-sectional study which was conducted in Imam Khome...
متن کاملAutomatic Sleep Stages Detection Based on EEG Signals Using Combination of Classifiers
Sleep stages classification is one of the most important methods for diagnosis in psychiatry and neurology. In this paper, a combination of three kinds of classifiers are proposed which classify the EEG signal into five sleep stages including Awake, N-REM (non-rapid eye movement) stage 1, N-REM stage 2, N-REM stage 3 and 4 (also called Slow Wave Sleep), and REM. Twenty-five all night recordings...
متن کاملSleep Quality and Disturbances in Children and Adolescents with Cancers: A Cross-Sectional Study
Background Childhood cancer has very unpleasant side effects on patients. A common problem among patients is sleep disturbance owing to a variety of causes. This study aimed to determine the sleep quality and disturbances in children and adolescents with cancer in Yazd, Iran. Materials and Methods This study was a descriptive cross-sectional on 101 patients aged 4-18 years who referre...
متن کاملThe Relationship Between Sleep Quality and Quality of Life Among Postmenopausal Women
Background: With increased life expectancy and changes in lifespan, now women spend more years after menopause. Women with menopausal symptoms may experience a lower quality of life (QoL) and complain about poor sleep quality. This study aimed to examine the relationship between QoL and sleep quality in postmenopausal women. Methods: This research was a predictive correlational study. The stud...
متن کاملاعتبارسنجی گزارش الگوی خواب کودکان توسط والدین با استفاده از روش عینی اکتیگراف
Background and Objective: Sleep Diary is the most practical and cost-effective tool for evaluating sleep habits. However, measurement errors are common issues with self report methods in medical research. The aim of the present study was to evaluate a self- report method compared to Actigraph in assessing sleep patterns in children. Materials and Methods: This cross-sectional study was conduc...
متن کاملFactors Effective in Sleeping Quality of Employees Presenting to the Center for Occupational Medicine at Gonabad University of Medical Sciences for Conduct Periodic Examinations
Background: The prevalence of sleep disorders in the general population is between 26.4% and 39.4% in Asia, which has increased in Iran in recent decades. Low sleep quality and reduced sleep hours result in work impairment and physical and mental illnesses. This study aimed to improve sleep quality and determine the factors affecting the quality of sleep. Materials and Methods: This cross-sect...
متن کامل